pro finite group

射有限群